# Makefile for documentation

default :
	$(MAKE) -C ../../.. user-manual-test
	$(MAKE) -C .. html

# EOF
